########################################################################
#                                                                    
#                         MNEMOSYNE CORE LIBRARY              
#                                                                    
########################################################################



########################################################################
# MCORE_KERNEL_PMAP: User-mode Mnemosyne runs on a kernel supporting 
#   pmap.
########################################################################

MCORE_KERNEL_PMAP = True
